<!DOCTYPE html>
<link rel="stylesheet" href="stylesheet.css" type="text/css" charset="utf-8" />
<html>

<head>
  <script src="table.js"></script>
  <script src="data/output.js"></script>
  <script src="data.js"></script>
  <script src="index.js"></script>
  <script src="latex.js"></script>
  <script src="utils.js"></script>
</head>

<title>Nightlies</title>

<body onload="load()">
  <h2>Nightlies</h2>
  <div>
    <div class="table" id="baseline_table"></div>
  </div>
  <div>
    <div class="table" id="herbie_table"></div>
  </div>
  <div>
    <div class="table" id="halide_table"></div>
  </div>

  <h2>Latex</h2>
  <button onclick="onGenerateClick('oopsla')">Generate Latex for Oopsla</button>
  <button onclick="onGenerateClick('herbie')">Generate Latex for Herbie</button>
  <div><textarea id="latex"></textarea></div>

  <h2>Domain-specific Results</h2>
  <div id="detail"></div>

  <h2><a href="bv.html">BV Experiment</a></h2>
  <h2><a href="ff.html">FF Phases Experiment</a></h2>

  <h2>Raw</h2>
  <p>
    <a href="data/output.js">Data</a>
  </p>
  <p>
    <a href="log.txt">Log</a>
  </p>
</body>

</html>